新しいプログラミング・パラダイム⑥ 項書換えシステムと完備化手続き